<?php

/**
 * Simply redirects the user using a header() call.
 * @param string $location The URI to which the user should be redirected.
 */
function redirect($location) {
  
  header('location:' . $location);
  
}